Unique name assumption